#include <iostream>
using namespace std;
#define int long long
#define OP 1
//O(n)
#if OP==1 
signed main()
{
    int n;
    while(cin >> n)
    {
        if(n==0) break;
        int cnt=0;
        for(int i=2; i<=n; i*=i)
            for(int j=1; j<i; j++)
                cnt++;
        cout << n << ":" << cnt << endl;
    }
    return 0;
}

#endif